Fix cpu hotplug issue with SMP guests (including save/restore).
authorsmh22@firebug.cl.cam.ac.uk <smh22@firebug.cl.cam.ac.uk>
Sun, 9 Oct 2005 15:26:08 +0000 (16:26 +0100)
committersmh22@firebug.cl.cam.ac.uk <smh22@firebug.cl.cam.ac.uk>
Sun, 9 Oct 2005 15:26:08 +0000 (16:26 +0100)
commit211e84b39af8ebe4834f6c4d8b046f4248f14f71
tree865ed816adb18c7c31dfafa5b921d739679e6d2d
parenta513eb7d8844b7397a555215d5bc70ab0ea2e47f
Fix cpu hotplug issue with SMP guests (including save/restore).
Was a nasty one - worth ensuring we cast to u64 whenever playing
with Xen time values.

Signed-off-by: Steven Hand <steven@xensource.com>
linux-2.6-xen-sparse/arch/xen/i386/kernel/smpboot.c
linux-2.6-xen-sparse/arch/xen/i386/kernel/time.c